Equivalence Checking for SoC Custom Blocks By Simon Napper
Equivalence checking between the transistor-level implementation and the behavioral model is increasingly important.
HW/SW Co-verification Tools Make Some Progress
By William Mackenzie and Janet Demaine
Are co-verification tools making the grade yet? A HW and SW engineer describe the design of an ethernet switch.